$\forall$$A$, $B$:msga\{i:l\}. ma{-}frame{-}compat($A$;$B$) $\in$ Prop$_{\mbox{\scriptsize i'}}$